/*
 * MinisatBuilder.h
 *
 *  Created on: 21 nov. 2011
 *      Author: bnoleau, cybourdi, rlecrois
 */

#ifndef MINISATBUILDER_H_
#define MINISATBUILDER_H_

#include "Builder.h"

#include <sstream>

using namespace std;

class MinisatBuilder: public Builder {
public:
	MinisatBuilder();
	virtual ~MinisatBuilder();

	virtual void beginGraph(int nbOfNodes, int nbOfEdges);
	virtual void endGraph();
	virtual void addEdge(int src, int tgt);

	string getResult();

protected:
	ostringstream result;
};

#endif /* MINISATBUILDER_H_ */
